-
1 основной дизъюнкт
Большой англо-русский и русско-английский словарь > основной дизъюнкт
-
2 basis clause
Большой англо-русский и русско-английский словарь > basis clause
-
3 basis clause
Математика: основной дизъюнкт -
4 ground clause
Математика: основной дизъюнкт -
5 basis clause
мат. -
6 ground clause
мат.
См. также в других словарях:
Дизъюнкт Хорна — В математической логике, дизъюнкт Хорна дизъюнкция литералов с не более чем одним положительным литералом. Дизъюнкты Хорна названы по имени логика Альфреда Хорна, который впервые указал важность таких дизъюнктов в статье 1951 года «On… … Википедия
DPLL-Алгоритм — Алгоритм Дэвиса–Патнема–Логемана–Лавленда (DPLL) это полный алгоритм поиска с возвратом для определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме, т.е. для решения задачи CNF SAT. Алгоритм был опубликован в 1962… … Википедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия